✅ Archive Proofs

Preservation Logic, Storage Verification, Formal Archival, Durability Mathematics

Feeds to Scour
SubscribedAll
Scoured 19469 posts in 748.7 ms
SEAL: Symbolic Execution with Separation Logic (Competition Contribution)
arxiv.org·1d
🧠Separation Logic
First Proof | Research-Level Math for AI Evaluation
1stproof.org·1d·
Discuss: Hacker News
🎯Performance Proofs
**Abstract:** This research introduces a novel framework for formally verifying distributed consensus protocols, specifically Raft, using Lean 4 and dependen...
freederia.com·20h
🤝Consensus Protocols
ArXiv future proofs access to research with third-party digital preservation
blog.arxiv.org·2d·
Discuss: Hacker News
🏛️OAIS Implementation
Building "zero-gap" secrets for a UGC platform
news.ycombinator.com·11h·
Discuss: Hacker News
🧪Binary Fuzzing
Private Data Space Model
privatedata.space·2d
✅Format Verification
A Guide to building Advanced RAGs🏗️
dev.to·9h·
Discuss: DEV
⚙️Build Archaeology
Agentic Proof-Oriented Programming
risemsr.github.io·1d·
Discuss: Lobsters, Hacker News
⚔️Lean Tactics
Differential Logic • 1
inquiryintoinquiry.com·1d
📏Linear Logic
Enigma: Decentralized Computation Platform with Guaranteed Privacy
dev.to·5h·
Discuss: DEV
🤐Secure Multiparty
RocqSmith: Can Automatic Optimization Forge Better Proof Agents?
arxiv.org·1d
⚔️Lean Tactics
Logic Puzzles: Why the Liar Is the Helpful One
blog.szczepan.org·8h·
Discuss: Hacker News
🔲Proof Irrelevance
The methodology behind the LLM contamination paper getting sustained cloning
adversarialbaseline.substack.com·1d·
Discuss: Substack
🎯Threat Hunting
Next Generation DB Ingestion at Pinterest
medium.com·1d
🗄️Database Sharding
Logic for Programmers New Release and Next Steps
buttondown.com·2d
⚙️Proof Engineering
Show HN: The Librarian creates artifacts while a model finishes its work
librarian.fieldtheory.dev·16h·
Discuss: Hacker News
📄Document Digitization
Waterloo Style
theprogrammersparadox.blogspot.com·17h·
Discuss: Hacker News
🕹Emulation Theory
Structured outputs on Amazon Bedrock: Schema-compliant AI responses
aws.amazon.com·15h
📋Document Grammar
The Pathway to Public Access
dpconline.org·1d
🏛️OAIS Implementation
OSTEP Chapters 6,7
muratbuffalo.blogspot.com·1d·
Discuss: Blogger
⚡CPU Microarchitecture

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help